mako: prepare to use PA's kernel