set apic_read/_write also if Linux (& not HermitCore) enables x2APIC
set apic_read/_write also if Linux (& not HermitCore) enables x2APIC

stlankes/HermitCore,RWTH-OS/HermitCore,stlankes/HermitCore,stlankes/HermitCore,stlankes/HermitCore,RWTH-OS/HermitCore,stlankes/HermitCore,RWTH-OS/HermitCore,stlankes/HermitCore,RWTH-OS/HermitCore,RWTH-OS/HermitCore,RWTH-OS/HermitCore